empty stream
/avail/Avail/Data Abstractions/Streams/Abstract Streams:
empty stream
Source
: /avail/Avail/Data Abstractions/Streams/Abstract Streams
Categories:
Data Abstractions, Streams
Supertypes:
stream
An empty stream has ⊥ as its element type.
Name
Type
Description
Fields
element type
⊥'s type